<?php

class ShellException extends Exception {

}